<aside>
<?php
if(isset($_SESSION['username'])) {
    echo "<h3>Welkom ".$_SESSION['username']."</h3>";
    echo "Functie: ".$_SESSION['function'];
    echo "<p><a href=\"http://".$_SERVER['HTTP_HOST']."/ObstacleWebApp/controller/verander_wachtwoord.php\">Wachtwoord wijzigen</a></p>";
    echo "<p><a href=\"http://".$_SERVER['HTTP_HOST']."/ObstacleWebApp/controller/verander_email.php\">Email-adres wijzigen</a></p>";
    echo "<p><a href=\"http://".$_SERVER['HTTP_HOST']."/ObstacleWebApp/controller/afmelden.php\">Afmelden</a></p>";
}
?>
</aside>
